Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen

Domänen-spezifische Sprachen dienen der Spezifikation von Modellen einer Anwendungsdomäne. Neben der Syntaxprüfung ist es zunehmend erforderlich auch semantische Prüfungen der Modelle durchzuführen. In den klassischen Werkzeugen zur Entwicklung Domänen-spezifischer Sprachen aus dem Gebiet der Modell-basierten Entwicklung wird häufig OCL zur Spezifikation solcher Bedingungen im Meta-Modell eingesetzt. Dem gegenüber stehen Technologien aus dem Gebiet des Übersetzerbaus wie beispielsweise attributierte Grammatiken, die ebenfalls die Spezifikation semantischer Bedingungen ermöglichen. In diesem Beitrag stellen wir diese Technologien gegenüber und untersuchen deren Performanz der syntaktischen und semantischen Analyse und die Qualität von Fehlermeldungen.